Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
71	Ontario’s deteriorating schools -- The fix is not in An analysis of the physical condition of Ontario’s elementary and secondary schools and the funding and program Add to Reading List Source URL: fixourschools.ca Language: English - Date: 2017-11-12 16:35:27
72	PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science CONTROL FLOW GRAPHS! PROGRAM ANALYSIS Add to Reading List Source URL: homepages.dcc.ufmg.br Language: English - Date: 2017-03-15 12:51:16
73	Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan Add to Reading List Source URL: manu.sridharan.net - Date: 2018-02-03 20:39:22
74	Javana: A System for Building Customized Java Program Analysis Tools Jonas Maebe Dries Buytaert Add to Reading List Source URL: dri.es - Date: 2009-01-20 13:40:22
75	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org - Date: 2017-11-15 11:58:15
76	Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad Add to Reading List Source URL: cs.brown.edu - Date: 2015-04-17 14:02:40
77	What’s Reusable In Program Analysis? [Extended Abstract] Grigory Fedyukovich Computer Science and Engineering, University of Washington, Seattle, Washington, USA Add to Reading List Source URL: staticanalysis.org - Date: 2018-03-29 12:35:32
78	Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se Add to Reading List Source URL: qapl17.doc.ic.ac.uk - Date: 2017-04-20 09:16:43
79	Skadu: Efficient Vector Shadow Memories for Poly-Scopic Program Analysis Donghwan Jeon ∗ Saturnino Garcia Add to Reading List Source URL: cseweb.ucsd.edu - Date: 2013-03-16 21:47:24
80	Machine Learning-Guided Adaptive Program Analysis Hakjoo Oh Kihong Heo Hongseok Yang Add to Reading List Source URL: staticanalysis.org - Date: 2018-03-29 12:35:32

UPDATE